Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types. (Modelling lexical semantics in a type-theoretic framework)

This paper is part of the thesis by Bruno Mery advised by Christian Bassac and Christian Retore in the years 2006-2011, on the topic “Modelling lexical semantics in a type-theoretic framework”. It is a doctoral thesis in computer science, in the area of natural language processing, aiming to bring forth a formal framework that takes into account, in the parsing of the semantics of a sentence, of lexical data. After a discussion of the topic, this thesis reviews the many works perceding it and adopts the tradition of the generative lexicon. It presents samples of data to account for, and gives a proposal for a calculus system based upon a second-order logic. It afterwards reviews the validity of this proposal, coming back to the data samples and the other formal approaches, and gives an implementation of that system. At last, it engages in a short discussion of the remaining questions. Remerciements La rédaction du présent manuscrit n’a pas été un travail solitaire. Si tous les manquements de cette thèse sont de mon unique responsabilité, chacune des avancées, chaque fragment d’idée, et surtout la volonté nécessaire à les accomplir, sont des impulsions d’autres personnes, qu’elles en soient ou non conscientes.